منابع مشابه
Rut Resistant Asphalt Pavements
The three major distress conditions affecting the performance of asphalt pavements are permanent deformation or rutting, fatigue or load associated cracking, and low temperature or thermal cracking. In an earlier technical topics article (Fall, 1998), we examined the causes of fatigue cracking and the importance of good compaction during construction to help minimize this type of distress. In t...
متن کاملTo the Gates of HAL: A HAL Tutorial
Experience using constraint programming to solve real-life problems has shown that finding an efficient solution to the problem often requires experimentation with different constraint solvers or even building a problem-specific constraint solver. HAL is a new constraint logic programming language expressly designed to facilitate this process. It provides semi-optional type, mode and determinis...
متن کاملClinical presentation of myocarditis in pediatric: the role of cardiac magnetic resonance in diagnosis
Miokarditis merupakan suatu penyakit inflamasi miokard dengan presentasi klinis dan onset yang bervariasi. Kesulitan dalam diagnosis seringkali menyebabkan pasien yang datang dalam kondisi akut tidak terdiagnosis sebagai miokarditis, lalu mendapatkan penanganan yang tidak tepat. Hal ini akan membahayakan karena menyebabkan cedera miokard lebih parah, bahkan dapat menyebabkan kematian mendadak. ...
متن کاملHAL Exoskeleton Training
The hybrid assistive limb (HAL) exoskeleton provides rehabilitation of the motor skills of chronic spinal chord injury (SCI) patients as well as alleviation of chronic neuropathic pain (CNP). The HAL device uses bioelectric signals to activate robotic support of voluntary movement during bodyweight supported treadmill training (BWSTT).
متن کاملTrailing Analysis for HAL
The HAL language includes a Herbrand constraint solver which uses Taylor’s PARMA scheme rather than the standard WAM representation. This allows HAL to generate more efficient Mercury code. Unfortunately, PARMA’s variable representation requires value trailing with a trail stack consumption about twice as large as for the WAM. We present a trailing analysis aimed at determining which Herbrand v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Veritas: Jurnal Teologi dan Pelayanan
سال: 2001
ISSN: 2684-9194,1411-7649
DOI: 10.36421/veritas.v2i1.46